<tool command="proof" envar="1">
	<row>
		<file_entity1 descr="file entity 1" empty="0" color="#000000" editable="1"/>
		<file_entity2 descr="file entity 2" empty="0" color="#000000" editable="1"/>
	</row>
	<options>
		<option opt="-d" descr="display the logical functions"/>
		<option opt="-a" descr="the common auxiliary signals are kept"/>
		<option opt="-p" descr="the polarity of the triggered edges is inversed within the first behavioural description"/>
	</options>
	<command value="command options file_entity1 file_entity2"/>
</tool>
